Buy Used and New Herman Geuvers Books

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers: 2646 (Lecture Notes in Computer Science)

by Herman Geuvers,Freek Wiedijk

ISBN 13: 9783540140313

Format: Paperback (344 pages)
Publisher: Springer
Published: 28 Apr 2003

Save for later

Type Theory and Formal Proof: An Introduction

by Rob Nederpelt,Herman Geuvers

ISBN 13: 9781107036505

Format: Illustrated (466 pages)
Publisher: Cambridge University Press
Published: 06 Nov 2014

Save for later